Add arch tagline

diff --git a/man/xresmini.texi b/man/xresmini.texi
index d25be5e1091aa6e26954bd87a503aed0b2bd0dcb..bf791a59e36cf7c95c6f61198ad78c5f94f74010 100644 (file)
--- a/man/xresmini.texi
+++ b/man/xresmini.texi
@@ -297,3 +297,7 @@ The margin of the menu bar, in characters.  Default is 1.
 @appendixsec GTK resources
 
 @c  Waiting for contents
+
+@ignore
+   arch-tag: e1856f29-2482-42c0-a990-233cdccd1f21
+@end ignore